логіка предикатів

логіка предикатів
ЛОГІКА ПРЕДИКАТІВ - розділ математичної логіки, що являє собою певне розширення логіки висловлювань. На відміну від логіки висловлювань, де висловлювання розглядають як єдине ціле, в Л. п. береться до уваги їхня суб'єктнопредикативна структура.

Філософський енциклопедичний словник / НАН України, Ін-т філософії ім. - К. : Абрис (Бібліотека Державного фонду фундаментальних досліджень). . 2002.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "логіка предикатів" в других словарях:

  • предикат — (лог.) (лат. praedicatum) Логическое сказуемое, то, что в суждении высказывается о предмете суждения …   Словарь лингвистических терминов Т.В. Жеребило

  • предикат — а; м. [лат. praecdicatum] 1. Лог., лингв. То, что в суждении высказывается о предмете суждения; логическое сказуемое, указывающее на свойства предмета, его состояние и отношение к другим предметам. 2. Лингв. = Сказуемое. ◁ Предикатный, ая, ое. *… …   Энциклопедический словарь

  • предикат — 1. лог. Фикер йөртүнең предметы турында хөкем; логик хәбәр 2. лингв. Хәбәр (5) …   Татар теленең аңлатмалы сүзлеге

  • предикат — а, ч. 1) лог. Один із двох термінів судження, в якому щось говориться про предмет судження (суб єкт). 2) лінгв. Те саме, що присудок. 3) Те саме, що властивість. || Відношення, тобто властивість декількох предметів …   Український тлумачний словник

  • предикат — (лат. praedcatum) 1. грам. оној дел од реченицата што кажува нешто за предметот, прирок 2. лог. она што се искажува за некој субјект како негово својство (во формалната логика се означува со р) 3. почесно или службено име, титула …   Macedonian dictionary

  • предикат — а; м. (лат. praecdicatum) см. тж. предикатный 1) лог., лингв. То, что в суждении высказывается о предмете суждения; логическое сказуемое, указывающее на свойства предмета, его состояние и отношение к другим предметам. 2) лингв. = сказуемое …   Словарь многих выражений

  • Б — бруто, лог В = предикат (додека А го означува субјектот), физ Bq = бекерел, единица за мерење на радиоактивноста, хем B = бор, Ba = бариум, Be = берил, Bi = бизмут, Bk = берклиум, Br = бор …   Macedonian dictionary

  • силлогизм — а; м. [греч. syllogismos] Лог. Умозаключение, в котором из двух данных суждений (посылок) получается третье (вывод). ◁ Силлогический, ая, ое. С ое суждение, рассуждение. Силлогистический (см.). * * * силлогизм (греч. syllogismós), рассуждение, в… …   Энциклопедический словарь

  • твердження — я, с. 1) Думка, положення, вислів, що доводить, підтверджує що небудь, лежить в основі чогось. 2) лог. Предикат. 3) Логічний вираз, який вважається істинним. 4) Речення мови програмування …   Український тлумачний словник

  • предикати́вный — ая, ое. лог., грамм. прил. к предикат; являющийся предикатом. Предикативные отношения. Предикативное наречие …   Малый академический словарь

  • субъе́кт — а, м. 1. филос. Индивид (или социальная группа) как носитель предметно практической деятельности и познания, направленных на объект. Субъект и объект познания. □ Субъект есть мыслящее существо (человек); объект мыслимый предмет. Белинский,… …   Малый академический словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»